Works by D. A. Clarke

( view other items matching `D. A. Clarke`, view all matches )
14 found
Order:
  1.  59
    M. R. Krom. Separation principles in the hierarchy theory of pure first-order logic. The journal of symbolic logic, vol. 28 no. 3 , pp. 222–236.D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (3):503.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  47
    J. W. Addison. Hierarchies and the axiom of constructibility. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 355–362. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):137-138.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  40
    Clifford Spector. Recursive ordinals and predicative set theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 377–382. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  4.  20
    Gerald E. Sacks. Recursion in objects of finite type. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 251–254. [REVIEW]D. A. Clarke - 1974 - Journal of Symbolic Logic 39 (2):343-344.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  36
    Kalmár L.. Über arithmetische Funktionen von unendlich vielen Variablen, welche an jeder Stelle bloss von einer endlichen Anzahl von Variabeln abhängig sind. Colloquium mathematicum, vol. 5 no. 1 , pp. 1–5. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (1):152-152.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  6. Review: Clifford Spector, Recursive Ordinals and Predicative Set Theory. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
     
    Export citation  
     
    Bookmark  
  7.  12
    Review: Gerald E. Sacks, Recursion in Objects of Finite Type. [REVIEW]D. A. Clarke - 1974 - Journal of Symbolic Logic 39 (2):343-344.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Review: J. W. Addison, Hierarchies and the Axiom of Constructibility. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):137-138.
     
    Export citation  
     
    Bookmark  
  9. Review: Martin Davis, A Program for Presburger's Algorithm. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
     
    Export citation  
     
    Bookmark  
  10.  18
    Review: S. C. Kleene, Ernest Nagel, Patrick Suppes, Alfred Tarski, Turing-Machine Computable Functionals of Finite Types I; S. C. Kleene, Turing-Machine Computable Functionals of Finite Types II. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (4):588-589.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
     
    Export citation  
     
    Bookmark  
  12.  27
    Kleene S. C.. Turing-machine computable functionals of finite types I. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, California, 1962, pp. 38–45.Kleene S. C.. Turing-machine computable functionals of finite types II. Proceedings of the London Mathematical Society, ser. 3 vol. 12 , pp. 245–258. [REVIEW]D. A. Clarke - 1970 - Journal of Symbolic Logic 35 (4):588-589.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  30
    Thomas J. Grilliot. Selection functions for recursive functionals. Notre Dame journal of formal logic, vol. 10 , pp. 225–234. [REVIEW]D. A. Clarke - 1973 - Journal of Symbolic Logic 38 (4):653-654.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 , pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 , pp. 97–117. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark